Electronic structure of oxygen-vacancy defects in amorphous In-Ga-Zn-O semiconductors