Linear programming models for a fair and efficient traffic assignment in congested road networks