Stan models for item response theory
