Cross-section-constrained top-quark mass measurement from dilepton events at the Tevatron