The Cauchy problem in mathematical General Relativity