Designing Equilibria in Concurrent Games with Social Welfare and Temporal Logic Constraints (Logical Methods in Computer Science, 2024)