Kinetic Modeling of Radiation Belt Electrons With Geant4 to Study Energetic Particle Precipitation in Earth's Atmosphere | Synapse