developers gaming productivity metrics