A comparison of the performance of gold and platinum killed power diodes