Water Film Adsorbed on the α-Al2O3(0001) Surface: Structural Properties and Dynamical Behaviors from First-Principles Molecular Dynamics Simulations