Choosing a Proxy Metric from Past Experiments