A Linear-Programming Approximation of AC Power Flows | Synapse