Synthetic Protein Circuits and Devices Based on Reversible Protein-Protein Interactions: An Overview