Welding machines and plasma cutters