Modern differential geometry