Axiomatization of betweenness in order-theoretic trees (Logical Methods in Computer Science, 2021)