How operations research won the battle of England in WWII