On compaction in gas reservoirs