Cruise industry’s economic contribution sets all-time high in Europe