Nitrifying population dynamics in a redox stratified membrane biofilm reactor (RSMBR) for treating ammonium-rich wastewater