Solving Zero-Dimensional Polynomial Systems