Sustainability of Water Resources in Karst Undermined by Tunneling: A Case Example