Concise asymmetric synthesis of (−)-halosaline and (2R,9aR)-(+)-2-hydroxy-quinolizidine by ruthenium-catalyzed ring-rearrangement metathesis