Automata Learning of Preferences over Temporal Logic Formulas from Pairwise Comparisons