How math and tech helped size up a mountain