17O MAS NMR and first principles calculations of ZrO2 polymorphs