First principles study of oxidation of Si-segregated α-Ti(0001) surfaces. (16th November 2017)