Text this: A mathematical theory of semantic communication