Quantitative proteomics for monitoring microbial dynamics in activated sludge from landfill leachate treatment