Xiaomi’s Mi Box Android TV streaming box is now available in the U.S.