The role of proton precipitation in Jovian aurora: Theory and observation