Air Berlin files for insolvency