Zaslat SMS: Synthesis of controllable nash equilibria in games with quantitative objectives