Algorithms for Core Stability, Core Largeness, Exactness, and Extendability of Flow Games