How much does a military tank cost? how much does a nuclear submarine cost