Variational autoencoders understand knot topology