Heavy Neutral Leptons at the Electron-Ion Collider