Tree Search Distillation for Language Models Using PPO