SmarTrafo: A Probabilistic Predictive Tool for Dynamic Transformer Rating