Optimal Design of Petroleum Refinery Topology using a Discrete Optimization Approach with Logical Constraints