Colored Petri Nets Based Patient Flow Modeling and Optimal Staffing in Emergency Healthcare