Formulating non-convex potential games for sensor network localization to identify global solutions efficiently.