Describir: Inferring and validating mechanistic models of neural microcircuits based on spike-train data