Metaproteomics of soils from semiarid environment: functional and phylogenetic information obtained with different protein extraction methods.