Tidal energy extraction in three-dimensional ocean models