Triangulated 3-Manifolds: from Haken's normal surfaces to Thurston's algebraic equation