Modeling and Computational Framework for the Specification and Simulation of Large-scale Spiking Neural Networks