Davinci-Tool: Scaling Agentic Tool-Use Supervision with Verifiable Executable Environments