First-principles study of the electronic structure of Al and Sn co-doping ZnO system