Starlink subscribers top 4 million