Modelling Airlines Competition on Fares and Frequencies of Service by Bi-level Optimization