Model Transformation Modularization as a Many-Objective Optimization Problem