NASA’s Launching a Lander That Will Dig on Mars