How Large a Vocabulary Does Text Classification Need? A Variational Approach to Vocabulary Selection