Effective Ultrapowers Of Computable Structures