What was the size of the tank gun that was the primary armament of the German heavy tank of World War II deployed from 1942 in Africa and Europe usually in independent heavy tank battalions?