What is PostScript and why is it used in high-end printers?