Modeling, scheduling, and performance evaluation for deadlock-free flexible manufacturing cells for a dual gripper robot: a constraint programming approach