Velocity and water-layer thickness of overtopping flows on sea dikes: Report of measurements and formulas development