Mining User Habits in Smart Spaces through Process Mining Techniques