State and local taxation of the bituminous coal industry.