Leveraging explanations in interactive machine learning: An overview | Synapse