A Probabilistic Autoencoder for Type Ia Supernova Spectral Time Series Academic Article