Strong Fermat Rules for Constrained Set-Valued Optimization Problems on Banach Spaces