Efficient resolution of N-Boc-7-azabicyclo[2.2.1]hept-5-en-2-one: formal syntheses of natural epibatidine and its enantiomer