The algebraic index theorem