how many tornado planes does the uk have