October used car prices tumble 4.2% in biggest monthly fall since 2011