An ab initio study of self-trapped excitons in α-quartz