Scanning-tunneling microscopy and first-principles theory of the Sn/GaAs (110) surface