The InSight-HP3 mole on Mars: Lessons learned from attempts to penetrate to depth in the Martian soil | Synapse