Verification of numerical wave propagation models with laboratory measurements: HISWA verification in the directional wave basin