On solving proximal split feasibility problems and applications