Data analytics for drilling engineering : theory, algorithms, experiments, software (2020)