Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages Preprint in arXiv (June 2020)