Text this: Is parking permit management effective for multi-modal transportation systems with carpooling and high-occupancy vehicle lane users?