Metaproteomic analysis of laboratory scale phosphorus removal reactors reveals functional insights of aerobic granular sludge