A semi-analytical model of the Galilean satellites’ dynamics