Extent of the microbial biosphere in the oceanic crust