Negative oxygen vacancies in HfO2 as charge traps in high-k stacks