Methanotrophy by a Mycobacterium species that dominates a cave microbial ecosystem