Nonlinear dynamic model for flapping-type tidal energy harvester