Used car prices tumble 7% in 2023, though still not back to pre-pandemic levels