On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT