Approximation of eigenvalues in mixed form, discrete compactness property, and application to hp mixed finite elements