Výučba a učebnice banského meračstva na Baníckej akadémii v Banskej Štiavnici - Hock, Milan