A short and efficient synthesis of enantiopure (+)-N-Boc-7-azabicyclo[2.2.1]heptan-2-one utilizing an asymmetric desymmetrization protocol: formal total synthesis of (−)-epibatidine