The AIIDE 2007 Workshop on Optimizing Player Satisfaction