Modeling of the cold electron plasma density for radiation belt physics