Behavior Contrastive Learning for Unsupervised Skill Discovery