Theory and Practice of Adaptive Survey Design at Statistics Netherlands