Proof of the ionic character of the interaction of K with Si(100): A cluster model study