AI makes software developers faster — just not at shipping software