Formal specification of the liblouis table format