An overview of optimization models and performance metric in aircraft maintenance