How much will using AI add to (or subtract from) the time it takes developers to do a task, in METR's second impact study?