F-35 History