type of coal used in brick manufacturing