在铝冶金的发展进程中，化学法炼铝包括()几种类型。