Theoretical Investigation of Oxygen Diffusion in Compressively Strained High-Density α-Quartz