The impact of oil company investment on the world coal industry. Overcapacity and price destabilization 1973-1992