Homotopy Continuation Enhanced Branch and Bound Algorithms for Process Synthesis Using Rigorous Unit Operation Models