Banach space bifurcation theory