Analyticity of the free boundary for the Stefan problem