Understanding mental workload in everyday life and its role in the future of personal informatics