A Multiple Dispatch Queueing Model of Police Patrol Operations | Synapse