Johann Samuel König was a mathematician remembered as a tutor to French natural philosopher that died due to childbirth in what year?