Survey sampling at Statistics Netherlands