The productivity impact of coding agents