Machine learning for red tide prediction in the Gulf of Mexico along the West Florida Shelf