西武の横瀬にある電機は元国鉄?