Editorial: Parking in the connected and automated era: Operation, planning, and management