Provable self-organizing pattern formation by a swarm of robots with limited knowledge