Non-hydrostatic wave modelling of coral reefs with the addition of a porous in-canopy model