Multi-Objective Test Prioritization in Software Product Line Testing: an Industrial Case Study