Microscopic understanding of ZnO-based amorphous oxide semiconductors based on DFT calculations