Folded limestones that are exposed high elevations in the himalayas were originally deposited as sediments in a ________.