The evolution of the Henry Hub natural gas benchmark in the US