三氧化二铝的硬度是多少?硬度单位HRC是什么意思?