Exact Matrix Seriation through Mathematical Optimization: Stress and Effectiveness-Based Models