Early stages of proportional reasoning: a cross-sectional study with 5- to 9-year-olds