A molecular beam study of the reaction of O2 with K-covered Si(100)