Lottery revenue allocation