CNN Pulls Names Out of Boxes to Determine Democratic Debate Line-up