Why didn't Germany invade Britain in 1940? Operation Sealion examined