Microscopic Simulation-Based High Occupancy Vehicle Lane Safety and Operation Assessment: A Case Study | Synapse