3+1 Formalism in General Relativity: Bases of Numerical Relativity