XML transformation: transform XML file to HTML file