Towards certifiable AI in aviation: landscape, challenges, and opportunities