A model for nitric oxide emission from aircraft gas turbine engines