What Is a MixNet and How Does It Work?