Design and analysis of lossy source coding of Gaussian sources with finite-length polar codes.