First-principles investigations of proton generation in α-quartz