Asymmetric synthesis of functionalized benzo[a]quinolizine derivatives via a diastereoselective N-acyliminium ion cyclization