DeepSeek V3.1: a new high-performance open-weight model