Polygon Shape Formation for Multi-Mobile Robots in a Global Knowledge Environment