A large-scale multi-agent system for navy personnel distribution