A multiple dispatch queueing model of police patrol operations