How does compaction lead to lithification