Являются ли высокоглиноземистые кирпичи и муллитовые кирпичи одним и тем же?