O.R. in World War 2: operational research against the U-boat