An Introduction to Infinite-Dimensional Differential Geometry