Advances of Machine Learning for Knowledge Mining in Electronic Health Records