A Matheuristic Approach for the Total Completion Time Permutation Flow Shop Problem