Multi-step root solvers of Traub’s type in real interval arithmetic