Finite Blocklength Lossy Source Coding for Discrete Memoryless Sources