Variational Offline Multi-agent Skill Discovery