Influence of IGBT Current Rating on the Thermal Cycling Lifetime of a Power Electronic Active Rectifier in a Direct Wave Energy Converter