Work Scheduling in the Miami Beach Police Department