Epitaxial ordered-alloy formation through surface reactions: Al on Ni{0 0 1}