Piazza dei Miracoli (Piazza dei Miracoli), The Cathedral