Production of petroleum coke