Toward Globally Optimal State Estimation Using Automatically Tightened Semidefinite Relaxations