Variational and Generative Models with Quantization for Disentanglement and Compressed Sensing of GNSS Spectrograms