Specification of a micro-simulation model of a district health service