Monadic first-order logic of order