เครื่องหดท่อไฟฟ้า, เครื่องดัดท่อแรงดันสูง, เครื่องอัดท่อไฮดรอลิก