Text this: Interval computations in the formulae for the stress intensity factors at crack tips using the method of quantifier elimination