Water availability for the development of an oil shale industry : the case of the Green River oil shales in the western United States