“I do a lot less Googling”: Software developers share how ChatGPT is changing work