Prediction of Formation Compaction from Laboratory Compressibility Data