Optimal Control To Support High-Level User Goals In Human-Computer Interaction