how many jaguar xk140se were produced