Mechanistic model of the selective catalytic reduction of nitric oxide with ammonia