Does AI Actually Make Developers More Productive? The Evidence, For and Against