铝是哪种矿石提炼出来的