Insights on the characteristics and sources of gas from an underground coal mine using compositional data analysis