Emptiness Formation Probability of the Six-Vertex Model and the Sixth Painlevé Equation