Computational design and experimental verification of a symmetric protein homodimer