How students use — and don’t use — ChatGPT