Oxygen vacancy defects in tantalum pentoxide: a density functional study