Excavation of massive caverns for Fermilab's DUNE detectors