how much does an aircraft carrier cost to make