Computational methods in synthetic biology