Computational protein design methods for synthetic biology.