Road-user charging and the modelling of revenue allocation ☆