Identifiable Representation and Model Learning for Latent Dynamic Systems