There is a Gold Mine in Flight Data: A Framework of Data Mining in Civil Aviation