Procedure prediction from symbolic Electronic Health Records via time intervals analytics