Twitter has rolled out an enhancement to Promoted Tweets that lets advertisers target a subset of users