Flow depths and velocities at crest and landward slope of a dike, in theory and with the wave overtopping simulator