Probing the ion-specific effects at the water/air interface and water-mediated ion pairing in sodium halide solution with ab initio molecular dynamics