Israeli underground mapping company 4M chosen by IDF for huge mine‑clearance project on Syrian border