“If budget planning requires gathering information from people who may not always have the incentive to disclose that information, then the principles of mechanism design can definitely be of use in such planning.”