Hamiltonian variational formulation of three-dimensional, rotational free-surface flows, with a moving seabed, in the Eulerian description