Methodology for estimating tidal current energy resources and power production by tidal in-stream energy conversion (TISEC) devices