Effects of Al-Impurity Type on Formation Energy, Crystal Structure, Electronic Structure, and Optical Properties of ZnO by Using Density Functional Theory and the Hubbard-U Method