A Lightface Analysis of the Differentiability Rank