US PGA Championship by the numbers