Text this: Method and Realization of Efficient Extraction of Basic Geological Data from Two-Dimensional Mine Drawings