Compaction of soil