Formation control for multiple mobile robots based on the Spiking Neural Network