Machine-aided human translation