Digital Khatt: Typesetter for Kashida justification and variable length Arabic text