On the measurement of healthy lifespan inequality