Ab initio calculations for the neutral and charged O vacancy in sapphire