IEA says Russia could do more to boost Europe’s gas supply