Forecasting Thermospheric Density with Transformers for Multi-Satellite Orbit Management