Tekstiviesti: Zoning for risk of methane gas explosions in coal mining in Boyacá, Colombia