Sorting Mixed Type Data in MySQL: A Comparison of Approaches to Achieve Efficient Ordering