Controlled Language and Knowledge-Based Machine Translation: Principles and Practice