Spare parts inventory control under system availability constraints