Experimental and simulation analysis of community structure of nitrifying bacteria in a membrane-aerated biofilm