Understanding the law: improving legal knowledge dissemination by translating the contents of formal sources of law