An efficient synthesis of trihydroxy quinolizidine alkaloids using ring-closing metathesis