Text this: Linear Temporal Logic for Regular Cost Functions