A ROS-Based Framework for Simulation and Benchmarking of Multi-robot Patrolling Algorithms