Transcoding Unicode Characters with AVX-512 Instructions