建造维护一支有战斗力的海军需要花多少钱？