Optimality Conditions for Bilevel Imaging Learning Problems with Total Variation Regularization