Graph rigidity theory