A strategic model of European gas supply (GASMOD)