Who formulated the modern definition of the limit of a sequence?