GE Aviation ends F-35 fighter engine development