Electronic properties of the InP(100) surface