How to do human evaluation: A brief introduction to user studies in NLP | Synapse