Leading language-learning app Duolingo files for IPO