Simulation of networks of spiking neurons: A review of tools and strategies