Open-weight model Kimi K3.1 Pro ranks second on the Artificial Analysis leaderboard