A Habit Discovery Algorithm for Mining Temporal Recurrence Patterns in Metered Consumption Data