Smart Exploration of Lentic Cyanobacterial Water Bodies Supported by Model-Based Simulation, Autonomous Surface Vehicles and Evolutionary Algorithms | Synapse