Using Sturm sequences to bracket real roots of polynomial equations