Two-terminal source coding with common sum reconstruction