Stereoretentive Formation of Cyclobutanes from Pyrrolidines: Lessons Learned from DFT Studies of the Reaction Mechanism