F135 engine production