What causes sediment to change into hard rock.