A mind-reading puzzle: Autistic people are more efficient at a theory-of-mind task