An approach to discrete convexity and its use in an optimal fleet mix problem