Application of stable isotope probing and high-throughput sequencing to identify microorganisms in microbial fuel cells