Characterizing and Identifying Types of Water and Mud Inrush Utilizing Magnetic Resonance Sounding for Tunneling Through Karst Areas with Filling Materials