Rigid Analytic Geometry and Its Applications