Angle-based Shape Determination Theory of Planar Graphs with Application to Formation Stabilization.