Discrete one-dimensional quasi-periodic Schrödinger operators with pure point spectrum