Interactive IR User Study Design, Evaluation, and Reporting