Fighters over the Desert: The Air Battles in the Western Desert, June 1940 to December 1942