AI tools increase seasoned developers’ task times, study finds