How does sedimentary rock change into magma?