by which process is anthracite coal formed from bituminous coal