NASA is halting attempts by Insight Mole to dig into Mars