Added in the Topology constraint and refactored

I modeled the toplogy constraint of not having the network traffic
through the gateway being greater than its max. I also refactored to
model in Zeller_refactored.cfr to provide a cleaner model and make use
of set operators.