Hyperbolicity of the 3+1 system of Einstein equations