iPadOS 16.4 gives Apple Pencil's hover feature a huge upgrade