Theory and experiments on the structure of 7 Å alumina films grown on Ni3Al