¿Cuál es el número de miembros que componen la Diputación Permanente del Congreso?