英国有多少兵力?