Pareto Optimal Design for Synthetic Biology