Overview of Quantifier Elimination and its Applications