Stochastic Choice and the Allocation of Cognitive Effort