Cross-Section-Constrained Top-Quark Mass Measurement from Dilepton Events at the Tevatron