Transseries and Real Differential Algebra