The InSight-HP3Mole on Mars: Lessons Learned from Attempts to Penetrate to Depth in the Martian Soil