Synergy of experiment and computation in quantitative systems biology