Characterization of microbial biofilms in a thermophilic biogas system by high-throughput metagenome sequencing.