Ab initio molecular dynamics simulation of molten KSi