What will need to happen first in order for granite to become sedimentary rock?