Selective catalytic removal of NOx: a mathematical model for design of catalyst and reactor