Practical Reasoning And Rule Mining With Datalogmtl