Experimental verification on analytical models of lunar excavation