GRAFTECH INTERNATIONAL HOLDINGS INC.