Real estate’s contribution to GDP