Ab initio strategy for muon site assignment in wide band gap fluorides