Rederivation of the TMA model for wind wave spectra on finite depth