A decision-theoretic approach for designing proactive communication in multi-agent teamwork