Mr. Johnson purchased 20 concert tickets for a total of $225. The concert tickets cost $15 for adults and $10 for children under twelve. How many tickets for children under twelve did Mr. Johnson purchase?