Next-generation Apple Pencil might have interchangeable magnetic tips