Advances and challenges of GIS and DBMS applications in karst