阐述矿井地质测量信息系统的主要功能。