Derivation, Validation, and Numerical Implementation of a Two-Dimensional Boulder Transport Formulation by Coastal Waves