The 'mole' on Mars will dig no more, NASA says