Synthesis Cost-Optimal Targeted Mutant Protein Libraries