Hiring practices and craftsmen at the University of Edinburgh, 1583 - 1750