Structure of the InAs{100}−(4 × 2) epilayer surface on InP