Mathematical modelling of wave overtopping at vertical structures