Холодильная машина Карла Линде: История и принцип работы