Theoretical aspects of helium scattering from metal surfaces