Specification and simulation of queuing network models using Domain-Specific Languages