Mathematical model for sizing combined nitrification and pre-denitrification activated sludge systems