Constructing Tower Extensions of Finite Fields for Implementation of Pairing-Based Cryptography