Where do police patrol officers work?