Using Machine Learning to Improve Cylindrical Algebraic Decomposition