An introduction to the double empathy problem