battle of france 1940