Compaction and Porosity Reduction in Carbonates: A Review of Observations, Theory, and Experiments