Observations of modern mountain belts suggest that ranges erode at rates of 2 mm per 10 years. At this rate, how long would it take to erode the Himalayas down to sea level?