what is soil compaction definition