Complexity of deciding the first-order theory of real closed fields