$_SERVER['HTTP_HOST']和$_SERVER['SERVER_NAME']在PHP中的区别是什么?什么时候你会考虑使用其中一种而不是另一种，为什么?