Competition of Gas Pipeline Projects: A Multi-Player Game of Timing