Compactness in vector-valued banach function spaces