Gas infrastructure: the major breakthroughs of the ongoing decade