From symbols to analog magnitudes: A process model of fraction comparison, with fits to experimental data