Gravar-mail: Exploring Computational User Models for Agent Policy Summarization