A number-line task with a Bayesian active learning algorithm provides insights into the development of non-symbolic number estimation