Discret2Di -- Deep Learning based Discretization for Model-based Diagnosis