add get_public_key method to EC_KEY class