Pareto-optimal sampling for multi-objective protein sequence design | Synapse