Effects of heavy metal pollution on microbial activities of mining soils in central Tibet