Potassium on Ni(111): Quantitative determination and electronic structure