f-35 vertical takeoff engineering