RobTest: A CP Approach to Generate Maximal Test Trajectories for Industrial Robots