Abraham Robinson and Nonstandard Analysis: History, Philosophy, and Foundations of Mathematics