Infinite-dimensional Lie Groups. General Theory and Main Examples