Generating an Explainable ECG Beat Space With Variational Auto-Encoders