Which campaign in the Second World War lasted from June 1940 to 13 May 1943 and included the Operation Torch?