The BKR Decision Procedure for Univariate Real Arithmetic