Lori rented a car for one day. The daily rental rate was $12.50 plus 25 cents per mile. The total cost of her rental was $46. How many miles did she drive that day?