Recent progress in low-energy electron diffraction: theory and application to semiconductor surfaces