Navy Virginia (SSN-774) Class Attack Submarine Procurement: Background and Issues for Congress