State of the art in digitization of historical maps and analysis of their metric content