processing UTF-8 html with PHP DOM(libxml based)