Offset optimization in signalized traffic networks via semidefinite relaxation. (June 2017)