Community dynamics and function variation of a defined mixed bioleaching acidophilic bacterial consortium in the presence of fluoride