A general theory of three-dimensional wave groups Part I: The formal derivation (Ocean Engineering, 1997)