PDBREDO: automated re-refinement of X-ray structure models in the PDB | Synapse