Estimates of public-supply, domestic, and irrigation water withdrawal, use, and trends in the Upper Rio Grande Basin, 1985 to 2015