Additive Decoders for Latent Variables Identification and Cartesian-Product Extrapolation