Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints