what kind of coal used in bricks manufacturing