Quantum-mechanical continuum solvation study of the polarizability of halides at the water/air interface