Experimental verification on analytical models of lunar excavation. (June 2019)