Constructing Pairing-Friendly Elliptic Curves Using Gröbner Basis Reduction