Mathematical modelling and molecular analysis of a nitrifying packed bed biofilm reactor