ProAgent: Building Proactive Cooperative Agents with Large Language Models