Energetic electrons in Jupiter's magnetosphere