Envisioning the future of personalization through personal informatics: A user study