A short and highly stereocontrolled total synthesis of (3R,5R,8aR)-3-n-butyl-5-methylindolizidine