Back pay, benefits ordered for 5 Cedar Rapids police officers.