Title: A separable programming approach to allocating manpower for the California Highway Patrol