the use of microbes in mineral mining