India is going to check if Mount Everest got a little bit shorter