Rate–distortion theory and human pragmatic reasoning