High-dimensional analysis of double descent for linear regression with random projections