Reconfiguration of distribution system using a binary programming model