Symbolic-numeric Estimation of Parameters in Biochemical Models by Quantifier Elimination