The Importance of Considering Life-Cycle Maintenance and Modernization Costs in the Design of Navy Ships