ROBOAT: A FLEET OF AUTONOMOUS BOATS FOR AMSTERDAM