An Optimization model for Aircraft Maintenance Problem