petroleum coke essential to manufacturing