Liner leaves Miami on first such tourist cruise to Cuba in over half century