The carrier strike equation: Do the UK’s plans add up?