An Improved Projection Operation for Cylindrical Algebraic Decomposition