Amazon Leo proposes constellation of over 5,000 satellites for direct-to-phone service