Text this: Spark-based parallel many-objective service process optimization for correlation-aware cloud manufacturing.