What is exactly tor browser uses? the proxy servers? then what is difference between manually using proxy and using tor?