ai developer productivity metrics