ADCs, Chaos and TRNGs: a Generalized View Exploiting Markov Chain Lumpability Properties