Correlating microfilm mine maps with topographic maps