Vastgoedverkopen leveren Rijk 1,8 miljard op