Technology is changing the cruise industry