Mutation Testing for Industrial Robotic Systems