Surface relaxation of Pt(111) investigated by ion scattering