Order-theoretic trees: monadic second-order descriptions and regularity