DFT study on the E-stereoselective reductive A3-coupling reaction of terminal alkynes with aldehydes and 3-pyrroline