Satellite observations of energy-banded ions during large geomagnetic storms: Event studies, statistics, and comparisons to source models