Oxygen vacancies in tetragonal ZrO 2 : ab initio embedded cluster calculations