electromagnetic switching device