Optimal dynamic proxy deployment for performance enhancement in large-scale satellite internet of things