A Mathematical Theory of Semantic Communication