Robert Adrain 1775-1843 mathematician Vice-Provost University of Pennsylvania born near Carrickfergus