Text this: Mineral biotechnology: microbial aspects of mineral beneficiation, metal extraction, and environmental control