Convergence analysis for proximal split feasibility problems and fixed point problems