The Great Trigonometrical Survey and the World's Tallest Peak