Advances in Cylindrical Algebraic Decomposition