Application of Machine Learning to the Selection of Sparse Linear Solvers