Linear Temporal Logic for Regular Cost Functions.