High order ADER-DG schemes for the simulation of linear seismic waves induced by nonlinear dispersive free-surface water waves