What is the rationale behind the UK getting the less capable and more expensive F35B as opposed to the F35C, considering the new carriers could be configured to handle either?