Text this: Simulation and Verification Platform for 5G-Integrated Low Earth Orbit Satellite Network Protocols Based on EXata