Brain-imaging evidence for compression of binary sound sequences in human memory