Semantic source coding for two users with heterogeneous goals