How many british planes was shot down in the battle of Britain?