how much can mike tyson lift