steam jacketed mixing vessel