k-out-of-n systems: An exact formula for the stationary availability and multi-objective configuration design based on mathematical programming and TOPSIS