Semiconductor aspects of the passive oxide film on aluminum as modified by surface alloying