Asymmetric synthesis of functionalized piperidine derivatives: synthesis of (S)-anatabine