NASA declares the Mars InSight digger dead after two years