Valuations and real places in the theory of formally real fields