Decidability of First-order Theory of Real Numbers