use of bacteria in mining