Forward and inverse modeling for jovian seismology