Budget-aware Index Tuning with Reinforcement Learning