Title: Introduction to Options for Reducing Methane Emissions from Coal Mines