Microscopic structure of the substitutional Al defect in alpha quartz