Operacja Torch 1942-1943