Anglo American to Sell Coal Mines for $3.88 Billion, Exiting Sector