Europe gas supplies: Russia shuts major pipeline for maintenance