An Algorithmic Measurement of Technical Progress