Historic Jaguar sets record for British car at auction