The MAPEDIT system for automatic map digitization · Study