Network Traffic Signal Control with Nonconvex Alternating Direction Method of Multipliers Formulations. Issue 1 (January 2015)