Suppose that coal producers create a negative externality equal to $5 per ton of coal. What is the relationship between the equilibrium quantity of coal and the socially optimal quantity of coal?