Basic Theory and Modelling of Marmot-Like Robot for Mine Safety Detection and Rescuing