Which type of rock is formed through compaction and cementation?