Measurement of the top-quark mass in the tt¯ dilepton channel using the full CDF Run II data set