Knowledge-enhanced Neural Machine Reasoning: A Review