pollution control in mines