Theoretical Studies on the Mechanism, Enantioselectivity, and Axial Ligand Effect of a Ru(salen)-Catalyzed Asymmetric Cyclopropanation Reaction