A numerical compaction model of overpressuring in shales