Activity-based, genome-resolved metagenomics uncovers key populations and pathways involved in subsurface conversions of coal to methane (Q289073)