Mapping the flow of pediatric trauma patients using process mining.