It costs $5 plus $2 per mile to ride in a taxi. Hannah took a taxi from her house to school this morning. She paid the taxi driver $25 when she got to the school. How many miles is it from Hannah's house to her school?