Generalisation operators for practice : a survey at national mapping agencies · Study