A Model for Foraging Ants, Controlled by Spiking Neural Networks and Double Pheromones