First principles calculations of the interface properties of a-Al2O3/MoS2 and effects of biaxial strain