Cleaning Up Oil Spills With a Swarm of Autonomous Sailboats