Designing ReachBot: System Design Process with a Case Study of a Martian Lava Tube Mission