Alchemische Decknamen digital entschlüsseln. Polysemantische Annotation und Machine Reasoning am Beispiel des Korpus des Iatrochymikers Michael Maier (1568--1622)