“Despite its relative brevity, On Free Choice of the Will contains almost every distinctive feature of Augustine's philosophy.”