Coal mine methane: A review of capture and utilization practices with benefits to mining safety and to greenhouse gas reduction