A Lower Bound Analysis of Hamming Distortion for a Binary CEO Problem With Joint Source-Channel Coding