Anderson localization for the almost Mathieu equation: A nonperturbative proof