A taxi ride cost a flat fee of of $4.00 plus an additional $1.25 per mile. How many miles would a person travel if they paid $19.00?​