The Formal Derivation for the Second-Order Interaction between Random Wave Groups and a Vertical Wall