A scalable Helmholtz solver combining the shifted Laplace preconditioner with multigrid deflation