Quantifying the rise of the Himalaya orogen and implications for the South Asian monsoon