Modeling the high‐energy proton belt