Text this: Query learning of derived $omega$-tree languages in polynomial time