Máy mài hơi, mài điện