Modeling the Operation of Signal-Controlled Intersections with Different Lane Occupancy