Electron-Density Measurement in Lightning from Stark-Broadening of Hα