The K/BxN mouse model of inflammatory arthritis: theory and practice.