Should judges know the costs of sentencing options at their disposal?