Quantifier Elimination by Partial Cylindrical Algebraic Decomposition