Synthesis of Enantiomerically Pure, Highly Functionalized, Medium-Sized Carbocycles from Carbohydrates: Formal Total Synthesis of (+)-Calystegine B2