How much is enough for K-12 funding?