Title: The statistics of mining .