Hackers HQ and Space Command: how UK defence budget could be spent