Enantioselective ring expansion of prolinol derivatives. Two formal syntheses of (−)-swainsonine