DeepSeek V4 Pro 0813 vs OpenAI GPT-5 Mini: API-prijs, context en arena-rating · LLM Live