Interfaces between Al2O3 and beta-Ni(1-x)Al(x) alloys: complex structures and Ab initio thermodynamics.