LEED intensity analysis of the structures of clean Pt(111) and of CO adsorbed on Pt(111) in the c(4 × 2) arrangement