A model of double descent for high-dimensional binary linear classification. (3rd April 2021)