Compaction grouting