A Monadic Second-Order Definition of the Structure of Convex Hypergraphs