vacuum degassing--process of refining liquid steel in which