Formality of the little disk operad