Theoretical studies on the Mo-catalyzed asymmetric intramolecular Pauson-Khand-type [2 + 2 + 1] cycloadditions of 3-allyloxy-1-propynylphosphonates