Bayesian Algae Detection in Venice Lagoon from Multispectral Satellite Images