Text this: Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages