Applying Process Mining in Population Health Management