Tin-stabilized (1 x 2) and (1 x 4) reconstructions on GaAs(100) and InAs(100) studied by scanning tunneling microscopy, photoelectron spectroscopy, and ab initio calculations