Verification of Robotic Surgery Tasks by Reachability Analysis: a Comparison of Tools