An optimal control model of tidal power generation