Edge Computing and its Application in Robotics: A Survey