Ex-Wisconsin DB Lucas says he is transferring to Miami despite name never being entered into portal