petroleum coke in metal manufacturing