GIS Applications for Coal Mine Subsidence in the State of Colorado