Lifetime Analysis of IGBT Power Modules in Passively Cooled Tidal Turbine Converters