Joule heat generation in thermionic cathodes of high-pressure arc discharges