Characterizing magnetospheric electrons from ALIS observations of discrete auroral arcs and quasi-stationary modeling of auroral acceleration