Public housing sales in the Netherlands: The record and the outlook