Localization for the one-dimensional Anderson model via positivity and large deviations for the Lyapunov exponent