Token-Budget-Aware LLM Reasoning