PHP library to convert HTML to formatted plain text