A fast integer algorithm for observability analysis using network topology