An exact solution method for home health care scheduling with synchronized services