Text this: Two-variable logics with some betweenness relations: Expressiveness, satisfiability and membership