what exactly is the difference between a dutchie and a phillie? are they brands of cigars?