Text this: Application of quantifier elimination to inverse free vibration problems for inhomogeneous beams and bars