Formal Synthesis of Ezetimibe (Synfacts, 2013)