Synthesis of bile acids