A Random Utility Approach to Solving Large Linear Ordering Problems