Magnitude processing of symbolic and non-symbolic proportions: an fMRI study