Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages (Logical Methods in Computer Science, 2023)