On Thurston's formulation and proof of Andreev's theorem