What is robot.txt & how it is beneficial for websites?