Thurston's double limit theorem