What evidence would there be within the sedimentary rocks that the sediments that form mountains (like the Himalayas) came from the ocean, rather than just having been deposited in a basin on land?