Quantifier Elimination and Cylindrical Algebraic Decomposition