Deep mining decreases the microbial taxonomic and functional diversity of subsurface oil reservoirs.