A formal framework for measuring technical lag in component repositories — and its application to npm | Publicación