Text this: Formalization for Subsequent Computer Processing of Kara Sea Coastline Data