What we know about how the Starlink satellite system works