Variational Inference for Acoustic Unit Discovery