Extrapolation of Compactness on Banach Function Spaces