Какое кодовое название имела операция, которая проходила с 30 декабря 1942 по 2 февраля 1943 года, в ходе которой была окружена и капитулировала немецкая армия Паулюса?