Shannon's source coding theorem