Theoretical study of hydrogen dissociation on dialuminum oxide clusters and aluminum–silicon–oxygen clusters, as models of extraframework aluminum species and zeolite lattice