Lessons Learned From the Largest Tenure Mix Operation in the World: Right to Buy in the United Kingdom