Reach set computation for linear vector fields using quantifier elimination