A landscaping company needs 20 tons of gravel that is composed of river rock and white quartz. The river rock costs $225 per ton, and the white quartz costs $300 per ton. The company wants as much white quartz as possible but has only budgeted $250 per ton. How many tons of each type of rock should be used to meet the company's budget?