3+1 Formalism in General Relativity