A car rental company charges a flat fee of $40 plus $0.25 per mile driven. If a customer paid a total of $115, how many miles did they drive?