First-principles prediction of half-metallicity at the low index surfaces of rocksalt KS