Theoretical investigations towards the [4+2] cycloaddition of ketenes with 1-azadienes catalyzed by N-heterocyclic carbenes: mechanism and stereoselectivity