Parameter estimation and synthesis for systems biology: New algorithms for nonlinear and stochastic models