Position of segregated Al atoms and the work function: Experimental low energy electron diffraction intensity analysis and first-principles calculation of the (√3×√3)R30° superlattice phase on the (111) surface of a Cu–9at.%Al alloy