Generalized Differentiation and Characterizations for Differentiability of Infimal Convolutions