US Navy’s new aircraft carrier first to be designed, built digitally