Exploring Computational User Models for Agent Policy Summarization