Portfolio-based airline fleet planning under stochastic demand