Precision Rehabilitation for Patients Post-Stroke based on Electronic Health Records and Machine Learning