Low-energy electron diffraction from Si(111)-2×1: theory and experiment