Synthesising Counterfactual Explanations via Label-Conditional Gaussian Mixture Variational Autoencoders