An algorithm for finding globally identifiable parameter combinations of nonlinear ODE models using Gröbner Bases