Reduction of traffic-induced soil compaction: a synthesis