The structure of the alpha-Al2O3(0001) surface from low-energy electron diffraction: Al termination and evidence for large thermal vibrations