Finite Intersection Property Characterization of Compactness