Human-Centered Specification and Explanation for Mixed-Initiative Interactions