Scalable multi-level deflation preconditioning for highly indefinite time-harmonic waves