An Application Of Item Response Theory To Investigate The Validity Of A Learning Progression For Number Sense