Algebraicity of higher Green functions at CM points