Hall–Héroult Process on the Tech Tree