Inch perfect: the team trying to fix Everest’s exact height