Robert Smith (c.1689–1768), Master (1742–1768), Mathematician and Benefactor, Plumian Professor of Astronomy and Experimental Philosophy (1716–1760)