Scaling, Optimizing, and Exporting Transformers with PyTorch Lightning