how does the Thinking Budget System actually work in practice? Is it token-based pricing or more like compute resource allocation across different models? | discoverkit | discoverkit