First cruise from a U.S. port to Cuba in decades leaves Miami