A Parallel Implementation of the Cylindrical Algebraic Decomposition Algorithm