LOS ANGELES — NASA has formally retired its Mars InSight lander, the first robotic probe specially designed to study the deep interior of a distant world, four…