Did Mega Million jackpot proceeds help Texas public schools?